You assume the first statement is true and use that assumption to prove
the second statement is true. Then you assume the second statement is true
and use that assumption to prove the first statement is true.